Vorbedingung — Das Wort Vorbedingung bezeichnet: Allgemein und in der Physik die Ursachen/Bedingungen die erfüllt sein müssen, damit ein Ereignis stattfindet. Rückblickend der Zustand, der zu einem Ereignis geführt hat, siehe Kausalität. In der Logik und… … Deutsch Wikipedia
Vorbedingung — Bedingung, Erfordernis, Gebot, Grundlage, Klausel, Kondition, Muss, Notwendigkeit, Voraussetzung, Vorbehalt; (bildungsspr.): Basis, Kriterium, Prämisse; (österr. Amtsspr.): Bedingnis. * * * Vorbedingung,die:⇨Voraussetzung… … Das Wörterbuch der Synonyme
Vorbedingung — die Vorbedingung, en (Aufbaustufe) Voraussetzung, von der die Aufnahme oder der Anfang von etw. abhängt Beispiel: Ausdauer ist eine notwendige Vorbedingung für das Gelingen unserer Unternehmung … Extremes Deutsch
Vorbedingung (Informatik) — Die Vorbedingung einer Funktion oder eines Programms gibt an, unter welchen Bedingungen das Verhalten der Funktion definiert ist. Die Vorbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation:… … Deutsch Wikipedia
Vorbedingung — Vo̲r·be·din·gung die ≈ ↑Voraussetzung (2) … Langenscheidt Großwörterbuch Deutsch als Fremdsprache
Vorbedingung — Vor|be|din|gung … Die deutsche Rechtschreibung
Vorbed. — Vorbedingung(en) EN precondition(s), prerequisite(s) … Abkürzungen und Akronyme in der deutschsprachigen Presse Gebrauchtwagen
wp-Kalkül — Der wp Kalkül ist ein Kalkül in der Informatik zur Verifikation eines imperativen Programmcodes. Die Abkürzung wp steht für weakest precondition, auf deutsch schwächste Vorbedingung. Bei der Verifikation geht es nicht darum, die Funktion mit… … Deutsch Wikipedia
Design By Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die … Deutsch Wikipedia
Design by Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die … Deutsch Wikipedia
